30.56/31.01	unsat
