30.22/31.40	unsat
