29.33/29.40	unsat
