308.64/309.24	unsat
