30.34/31.19	unsat
