30.86/31.09	unsat
