6.27/6.41	unsat
