305.36/306.27	unsat
