1.29/4.67	unsat
