26.50/31.69	unsat
