310.00/312.62	unsat
