13.26/13.82	unsat
