15.41/15.68	unsat
