13.66/13.74	unsat
