29.45/32.15	unsat
