13.08/19.91	unsat
