30.80/31.01	unsat
