1.69/2.67	unsat
