30.24/31.46	unsat
