11.95/13.17	unsat
