1.48/2.67	unsat
