5.18/7.52	unsat
