15.41/15.80	unsat
