13.67/13.75	unsat
