29.60/31.13	unsat
