6.37/6.42	unsat
