2.78/4.67	unsat
