14.92/19.87	unsat
