29.32/31.67	unsat
