29.80/31.61	unsat
