26.84/26.90	unsat
