5.24/7.78	unsat
