300.66/303.15	unsat
