6.36/6.41	unsat
