4.18/4.34	unsat
