5.18/11.52	unsat
