11.97/14.14	unsat
