2.58/5.94	unsat
