4.27/6.42	unsat
