11.98/12.18	unsat
