4.47/4.67	unsat
