1.68/4.67	unsat
