13.66/13.75	unsat
