28.44/32.04	unsat
