313.72/318.42	unsat
