307.60/310.57	unsat
