5.76/5.81	unsat
