26.84/30.19	unsat
