17.07/30.09	unsat
