30.53/31.52	unsat
