29.85/31.33	unsat
