26.86/31.77	unsat
