4.76/5.67	unsat
