11.97/14.59	unsat
