6.21/10.04	unsat
