11.97/14.68	unsat
