11.78/14.63	unsat
