27.86/31.33	unsat
