13.66/17.79	unsat
