4.47/6.42	unsat
