11.98/12.19	unsat
