13.27/15.75	unsat
