29.64/31.19	unsat
