11.95/12.07	unsat
