29.22/31.79	unsat
