30.60/31.06	unsat
