1.23/3.08	unsat
