4.18/7.42	unsat
