14.36/15.77	unsat
