306.46/308.77	unsat
