29.87/32.53	unsat
