2.58/3.89	unsat
