11.97/14.73	unsat
