32.69/32.79	unsat
