4.18/4.42	unsat
