13.68/13.74	unsat
