4.26/4.42	unsat
