13.26/15.75	unsat
