13.71/20.19	unsat
