28.32/32.00	unsat
