9.41/12.12	unsat
