2.58/7.32	unsat
