13.20/13.82	unsat
