11.97/14.55	unsat
