4.18/4.52	unsat
