26.33/27.84	unsat
