28.41/30.19	unsat
