26.42/31.11	unsat
