4.25/4.42	unsat
