5.10/5.52	unsat
