4.28/6.42	unsat
