26.71/30.19	unsat
