1.29/3.67	unsat
