306.32/306.95	unsat
