11.89/14.63	unsat
